Runtime verification - PDFSEARCH.IO - Document Search Engine

Runtime verification
Results: 98

#	Item
81	UML-based Specification, Validation, and Log-file based Verification of the Orion Pad Abort 1 Software Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2010-06-14 15:13:00 Knowledge Validation Verification Formal verification Runtime verification Specification Formal specification Software development process Modeling language Formal methods Science Technology
82	Microsoft Word - NPS-CS[removed]report.doc Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2005-08-15 17:23:39 Space technology Missile defense Systems engineering Logic in computer science Technical communication Missile Defense Agency Software development process Model checking Runtime verification Formal methods Technology Science
83	European Cooperation Brussels, 15 May 2014 in the field of Scientific and Technical Research Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2014-05-16 07:46:30 Systems engineering Science Software development Software quality Runtime verification Formal verification Verification Software testing Reliability engineering Formal methods Logic in computer science Theoretical computer science
84	i i “9780470905395c01” — [removed] — 20:43 — page 1 — #1 i Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-09-20 13:17:56 Systems engineering Software engineering Business Process Execution Language Workflow technology Formal methods Logic in computer science Service-oriented architecture Model checking Runtime verification Enterprise application integration Computing Process management
85	RV’04 Preliminary Version jMonitor: Java Runtime Event Specification and Monitoring Library Murat Karaorman Add to Reading List Source URL: www.runtime-verification.org Language: English - Date: 2004-03-08 14:00:52 Cross-platform software Subroutines Java programming language Software design patterns Runtime verification Java Event Main function Comparison of C Sharp and Java Computing Software engineering Computer programming
86	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden Add to Reading List Source URL: www.bodden.de Language: English - Date: 2010-02-14 13:25:15 Software Formal methods Logic in computer science Runtime verification Static program analysis Pointer analysis NOP Type system Algorithm Program analysis Computing Programming language theory
87	A Partially evaluating finite-state runtime monitors ahead of time ERIC BODDEN, Technische Universit¨at Darmstadt PATRICK LAM, University of Waterloo LAURIE HENDREN, McGill University Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Aspect-oriented software development Formal methods Logic in computer science Aspect-oriented programming Cross-platform software Runtime verification Formal verification Type system Monitor Software development Computing Software engineering
88	Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming
89	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:36 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
90	Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology, Palo Alto, California, USA {goldberg,havelund}@kestreltechnology.com Abstract. E AGLE is a very powerful logic for expressi Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:22 Temporal logic Linear temporal logic ALGOL 68 Monitor Model checking Agle Propositional calculus Logic Mathematical logic Software engineering

UPDATE